/* Here is your custom css styles. */
#main-content {
    width: 90% !important;
}
#toc-aside {
    width: 10% !important;
}
pre {
    margin-top: 0!important;
}